#ifndef _KRLSEM_H_
#define _KRLSEM_H_

#include "krlsem_t.h"

void krl_sem_init (sem_t * sem);
void krl_sem_take (sem_t * sem);
void krl_sem_give (sem_t * sem);

#endif